pgcd(64, 32);
